ocr: Eurekal SKAT flowchart asimplemented in POlyAnalyste - - uficasce Leseng Program evaluation - DATA SEB8 EXDICIE ayponneses complete o Uncsonal searcistrategy Data Functional Program yypes primitives production methods Figure 1: SKAT model-building Howchart. The cooperation of several PolyAnalyst modules results in the development of an easy-to-understand symbolie model.